﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace RelationExpertSystem
{
    public interface ISession
    {
        event EventHandler<FactsEventArgs> FactsLoaded;

        event EventHandler<FactsEventArgs> FactsUpdated;
        
        event EventHandler<MessageEventArgs> NewInference;

        void LoadFacts();

        void EditFacts();

        void NewFacts();

        void Infer();

        void ClearInferences();
    }
}
